Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
951	Justin Clarke-Doane Columbia University [This is a draft of a companion piece to G.C. Field’s (1932) “The Place of Definition in Ethics”, Proceedings of the Aristotelian Society, 32: 79-94, for a virtual issue of t Add to Reading List Source URL: files.nyu.edu Language: English - Date: 2015-02-03 21:55:01 Set theory Proof theory Formal systems Z notation Axiom of choice Axiom Truth Theory Class Mathematical logic Logic Mathematics
952	Philosophia Mathematica (III[removed]), 341–362. doi:[removed]philmat/nkn032 Advance Access publication November 6, 2008 Probabilistic Proofs and Transferability† Add to Reading List Source URL: fitelson.org Language: English - Date: 2011-11-24 10:40:11 Mathematical proofs Mathematical logic Philosophical logic Probabilistic method Prime number Philosophy of mathematics Theorem Miller–Rabin primality test Proof theory Mathematics Logic Logical syntax
953	Contents Abbreviations vii Add to Reading List Source URL: www.press.uillinois.edu Language: English - Date: 2012-05-08 03:30:04 Pantheism Theology Religious philosophy Nontheism Existence of God Idealism Mathematical proof Spinozism God Philosophy Religion Spirituality
954	doi:[removed]j.concog[removed] Add to Reading List Source URL: www.cogsci.uci.edu Language: English - Date: 2006-03-19 12:28:16 Cognition Materialism Physicalism Functionalism Qualia Type physicalism Consciousness Mathematical proof Theorem Philosophy of mind Mind Cognitive science
955	Formal Methods in Industry: Achievements, Problems, Future Jean-Raymond Abrial Swiss Federal Institute of Technology Zurich [removed] Add to Reading List Source URL: www.irisa.fr Language: English - Date: 2006-05-20 23:41:24 Theoretical computer science Software development process Mathematical proof KeY B-Method Scientific modelling Model-based testing Formal verification Formal methods Science Software development
956	Justin Clarke-Doane University of Birmingham Monash University [This is a corrected version of an article which appears in Noûs, Vol. 47.] Add to Reading List Source URL: files.nyu.edu Language: English - Date: 2014-07-29 01:53:21 Proof theory Model theory Formal systems Continuum hypothesis Forcing Zermelo–Fraenkel set theory Conjecture Axiom Kurt Gödel Mathematical logic Logic Mathematics
957	Why we need to teach logic and how can we teach it? Mária Bakó∗ Abstract Logic is usually left out from education in mathematics. This fact has effects on understanding mathematics and even on learning languages, too Add to Reading List Source URL: www.cimt.plymouth.ac.uk Language: English - Date: 2005-08-11 11:31:11 Model theory Mathematical logic Abstraction First-order logic Function Mathematical proof Puzzle Theorem Modal logic Logic Mathematics Philosophical logic
958	Volume 8, Number 4 April 2014 www.thereasoner.org ISSN[removed]Contents Add to Reading List Source URL: www.filosoficas.unam.mx Language: English - Date: 2015-02-03 12:46:59 Philosophical logic Philosophy of mathematics Arguments Critical thinking Fuzzy logic Many-valued logic Proof theory Intuitionism Argumentation theory Logic Mathematical logic Non-classical logic
959	Bernard Bolzano's Philosophy: Logic and Ontology Add to Reading List Source URL: www.ontologyasia.com Language: English - Date: 2014-02-06 17:01:34 Bernard Bolzano Proposition Term logic Edmund Husserl Truth Philosophy of mathematics Proof theory Mathematical logic Modal logic Logic Philosophy Philosophical logic
960	pluralism and proofs Greg Restall∗ Philosophy Department, The University of Melbourne [removed] August 2011 Add to Reading List Source URL: consequently.org Language: English Philosophical logic Mathematical constructivism Propositional calculus Proof theory Intuitionistic logic Paraconsistent logic Intuitionism Negation Sequent calculus Logic Mathematical logic Non-classical logic